let rho (a, ()) = a
